David

Results: 76632



#Item
131

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez December 2, 2016

Add to Reading List

Source URL: clark.ohioboe.com

- Date: 2017-04-21 08:14:30
    132Computing / Free software / Concurrent computing / Apache Hadoop / Apache Software Foundation / Cloud infrastructure / Coding theory / RAID / Computer data storage / Erasure code / Google File System / Disk formatting

    A Tale of Two Erasure Codes in HDFS Mingyuan Xia, McGill University; Mohit Saxena, Mario Blaum, and David A. Pease, IBM Research Almaden https://www.usenix.org/conference/fast15/technical-sessions/presentation/xia This

    Add to Reading List

    Source URL: www.usenix.org

    Language: English - Date: 2016-02-20 22:28:51
    133Computing / Internet / Anonymity / Cryptography / Internet privacy / Dining cryptographers problem / Internet Standards / Internet Relay Chat / Clientserver model / Anonymous web browsing / Server / Anonymizer

    Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory

    Add to Reading List

    Source URL: www.usenix.org

    Language: English
    134

    NuCypher KMS: 分布式密钥管理系统 Michael Egorov∗ 和 MacLane Wilkison† NuCypher David Nuñez‡ NICS 实 验 室, 马 拉 加 大 学, 西 班 牙

    Add to Reading List

    Source URL: www.nucypher.com

    Language: Chinese
      135

      CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez December 2, 2016

      Add to Reading List

      Source URL: clark.ohioboe.com

      - Date: 2017-04-21 08:14:27
        136Computer network security / Security engineering / Computing / Cyberwarfare / Honeypot / Spamming / Robotics / Robot / Cyber-physical system / Computer security / Client honeypot

        1 Poster: HoneyBot- A Honeypot for Robotic Systems Celine Irvene, Member, IEEE, David Formby, Member, IEEE, Sam Litchfield, Member, IEEE, and Raheem Beyah, Senior Member, IEEE

        Add to Reading List

        Source URL: www.ieee-security.org

        Language: English - Date: 2017-05-07 21:48:38
        137

        CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  David Hartley Deputy Director  Jason Baker February 8, 2016 The Board will hold a regular meeting on Tu

        Add to Reading List

        Source URL: clark.ohioboe.com

        - Date: 2017-04-21 08:13:56
          138Computing / Object-oriented programming languages / Scripting languages / Programming languages / Java platform / Java specification requests / Da Vinci Machine / Java bytecode / JRuby / Java virtual machine / Java class file / Scala

          Mining Method Handle Graphs for Efficient Dynamic JVM Languages Shijie Xu, David Bremner Daniel Heidinga

          Add to Reading List

          Source URL: xushijie.github.io

          Language: English - Date: 2018-09-18 22:05:07
          139

          Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa

          Add to Reading List

          Source URL: qav.comlab.ox.ac.uk

          Language: English - Date: 2010-08-20 07:50:57
            140Mathematical analysis / Temporal logic / Mathematics / Computation tree logic / Logic in computer science / Determinacy / Distribution / Linear temporal logic / Universal representation

            Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

            Add to Reading List

            Source URL: qav.comlab.ox.ac.uk

            Language: English - Date: 2018-06-25 05:08:25
            UPDATE